Computer Games as Virtual Environments for Safety-Critical Software Validation
نویسندگان
چکیده
منابع مشابه
Computer Adventure Games as Problem-Solving Environments
Claims that computer-based adventure games are productive environments for the development of general problem-solving ability were tested in a study of 40 students’ interactions with a novel computer-based adventure game. Two sets of factors that are thought to influence problem-solving performance were identified in the literature – domain-specific knowledge (schema) and general problem-solvin...
متن کاملThe Software Required for the Computer Generation of Virtual Environments
The first phase of virtual world development has focused on the novel hardware (3D input and 3D output) and the graphics demo. The second phase of virtual worlds development will be to focus in on the more significant part of the problem, the software bed underlying “real” applications. The focus of this paper is on the software required to support large scale, networked, multi-party virtual en...
متن کاملOpening up the Verification and Validation of Safety-Critical Software
Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC as a ta...
متن کاملComputer Games as Intelligent Learning Environments: A River Ecosystem Adventure
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art in intelligent learning environments. We have designed and implemented an educational game, a river adventure. The adventure game design integrates the Neverwinter Nights game engine with our teachable agents system, ...
متن کاملCosting Safety Critical Software
The views expressed in this paper are the views of the author and not necessarily those of the MOD. This paper will focus on the COSTS associated with validation of Safety Critical Software and will suggest some considerations for the way forward. The costs of safety analysis of Software are not straightforward to estimate. The extent of errors in the software requiring correction cannot be pre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of information and organizational sciences
سال: 2017
ISSN: 1846-9418,1846-3312
DOI: 10.31341/jios.41.2.5